perm filename DATAMA.LE1[LET,JMC] blob sn#212848 filedate 1976-04-25 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub"source
C00008 ENDMK
C⊗;
.require "let.pub"source;
∂AIL %2Datamation%1↓1801 La Cienega Blvd.↓ Los Angeles CA 90035∞

	Joseph  Weizenbaum's  %2Computer  Power  and  Human  Reason%1
brings  to computer  science a  new method of  proof -  calling ideas
obscene.  Daniel McCracken (April %2Datamation%1) approvingly quotes,
%2"The very asking  of the question, 'What does a  judge know that we
cannot tell a computer?' is a monstrous obscenity.  That it has to be
put into print at all even for the purpose of exposing its morbidity,
is a sign of the madness of our times"%1.

	However, when Weizenbaum  complains that coupling an animal's
visual system and  brain to a  computer is %2"simply  obscene. %1[The
idea is one]%2 whose very contemplation ought  to give rise to feelings
of  disgust in every  civilized person."%1, McCracken,  who sees some
good in the  idea, mildly says he  wishes Weizenbaum would  elaborate
his objections.  This seems inconsistent, because both of them
call  ideas  obscene precisely  when  they  don't  wish to
elaborate their objections.   It's  bad sign of  our times that  this
style meets no objections from reviewers - not to mention editors.

	As McCracken conjectures,  some display terminals at  AI Labs
have  been  busy  with  refutations,  mine  included.    I  am  sorry
Weizenbaum  has  made  him hate  us  enough  to  enjoy imagining  us
gnashing our teeth, but this is not  why I write now.  My problem  is
that  Weizenbaum  "quotes"  me  twice from  oral  debates,  McCracken
repeats  %2both%1 "quotes", and I  can't confirm either  one.  The first
doesn't bother me,  because I do believe  that we will eventually  be
able to tell a computer what  a judge knows.  It won't be soon and we
may not  want to  use computers  as  judges, but  my opinion  on  the
scientific issue  (and I trust  that of %2Datamation%1's  readers) is
not influenced by the silly charge of having obscene ideas.

	The other  requote,  %2"The  only  reason  we  have  not  yet
succeeded in  simulating every aspect  of the world  is that  we have
been   lacking  a  sufficiently  powerful   logical  calculus."%1  is
allegedly from the BBC debate with Lighthill, but no-one can  find it
on either the video-tape  or the audio-tape.  I  fear Weizenbaum made
it  up,  since   it  reflects  the  confusion  in  his  book  between
formalization and simulation that I began disputing in my  1959 paper
"%2Programs with Common  Sense%1".  We need powerful  logical calculi
and  a description  of the  common¬sense  world using  these calculi,
because full  simulation is  usually impossible and wouldn't usually
tell  what  a  robot needs  to  know  anyway.    We use  the  law  of
conservation of energy even when we know the precise laws of motion -
and even more when  we don't.  I  thought perhaps I had  misspoken in
rapid dialog, but it just isn't on the tape.

	Maybe   I  shouldn't  complain   about  having   my  research
misrepresented; such distinctions may be mere pedantry to a practical
professor who can say, %2"Scientists who continue to prattle on about
'knowledge for  its own sake'  in order  to exploit  that slogan  for
their self-serving ends have detached  science and knowledge from any
contact with the real world"%1.

	Let  McCracken  beware  lest  his  next  book  be  banned  in
Poughkeepsie for obscene COBOL programs.

	Yours for precision in language.

.sgn